A Note on Strong Dinaturality, Initial Algebras and Uniform Parameterized Fixpoint Operators
نویسنده
چکیده
I show a basic Yoneda-like lemma relating strongly dinatural transformations and initial algebras. Further, I apply it to reprove known results about unique existence of uniform parameterized fixpoint operators.
منابع مشابه
Uniform Boundedness Principle for operators on hypervector spaces
The aim of this paper is to prove the Uniform Boundedness Principle and Banach-Steinhaus Theorem for anti linear operators and hence strong linear operators on Banach hypervector spaces. Also we prove the continuity of the product operation in such spaces.
متن کاملThe Recursion Scheme from the Cofree Recursive Comonad
We instantiate the general comonad-based construction of recursion schemes for the initial algebra of a functor F to the cofree recursive comonad on F . Differently from the scheme based on the cofree comonad on F in a similar fashion, this scheme allows not only recursive calls on elements structurally smaller than the given argument, but also subsidiary recursions. We develop a Mendler formul...
متن کاملUniform Interpolation of ALC-Ontologies Using Fixpoints
We present a method to compute uniform interpolants with fixpoints for ontologies specified in the description logic ALC. The aim of uniform interpolation is to reformulate an ontology such that it only uses a specified set of symbols, while preserving consequences that involve these symbols. It is known that in ALC uniform interpolants cannot always be finitely represented. Our method computes...
متن کاملPOINT DERIVATIONS ON BANACH ALGEBRAS OF α-LIPSCHITZ VECTOR-VALUED OPERATORS
The Lipschitz function algebras were first defined in the 1960s by some mathematicians, including Schubert. Initially, the Lipschitz real-value and complex-value functions are defined and quantitative properties of these algebras are investigated. Over time these algebras have been studied and generalized by many mathematicians such as Cao, Zhang, Xu, Weaver, and others. Let be a non-emp...
متن کاملBCK-ALGEBRAS AND HYPER BCK-ALGEBRAS INDUCED BY A DETERMINISTIC FINITE AUTOMATON
In this note first we define a BCK‐algebra on the states of a deterministic finite automaton. Then we show that it is a BCK‐algebra with condition (S) and also it is a positive implicative BCK‐algebra. Then we find some quotient BCK‐algebras of it. After that we introduce a hyper BCK‐algebra on the set of all equivalence classes of an equivalence relation on the states of a deterministic finite...
متن کامل